00100 (ADD(IF-ADDED TRANS(P !>X !>Y) 00200 "AUX"(Z(P(FETCH '(P !,Y !>Z)))) 00300 :B(TRY-NEXT P '(GO 'A)) 00400 (COND((NOT(PRESENT !"(P ,X ,Z)))(ADD !"(P ,X ,Z))))(GO 'B) 00500 :A(CSETQ P(FETCH '(P !>Z !,X))) 00600 :A1(TRY-NEXT P '(RETURN NIL)) 00700 (COND((NOT(PRESENT !"(P ,Z ,Y)))(ADD !"(P ,Z ,Y))))(GO 'A1)))